机译:将FSM的语言L〜*规范转换为语言L中的自动等效规范
机译:自由结构规范语言:一种用于组件重用的高级建模语言
机译:在智能手机上使用可视编程语言广播机制的可执行规范和回归测试
机译:具有可执行域特定语言的可重用混合力速度控制运动规范
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:生物化学系统规范和分析的可执行生物化学空间
机译:PK / C ++:一种面向对象的,基于逻辑的,可执行的规范语言; CU-CS-400-88
机译:从面向对象的规范生成可执行持久数据存储/检索代码